An introduction to the theories of bulk data types
نویسنده
چکیده
This note summarises my understanding to date of two closely-related theories for dealing with “bulk” data types: the Bird-Meertens formalism (henceforth abbreviated to BMF) and its extension in categorical data types (CDT). I've been led to this study for two reasons: as interesting formalisms for program derivation in their own right, and as a possible basis for defining useful operations for shared abstract data types. In this note I cover all the essential ideas I've found so far, and include a bibliography of the theories.
منابع مشابه
Who is an Ideal Organizational Leader in Iran? Examining the Content, Structure, and Consequences of Iranian Implicit Leadership Theories (IILTS)
Implicit Leadership Theories (ILTs) are individuals’ perceptions of the traits and behaviors characterizing leaders. Four studies investigated the reliabilities and different types of validities for a scale developed to measure Iranian Implicit leadership Theories (IILTs). Study 1 used a qualitative method to extract the implicit theories of ideal leadership after interviewing 27 experts. The I...
متن کاملP11: Relationship between Anxiety and Personality Types of Female Students
Anxiety is an unpleasant state of inner turmoil. Anxiety is a feeling of fear, worry and uneasiness, usually generalized and unfocused as an overreaction to a situation that is only subjectively seen as menacing. The trait of extroversion-introversion is a central dimension of human personality theories. Extraversion and introversion are typically viewed as a single continuum. Thus, to be high ...
متن کاملThe Role of Implicit Intelligence Theories, Supporting Autonomy and Epistemological Beliefs in Predicting Academic Engagement of Students
Introduction: The purpose of this study was to investigate the implicit intuition of theories, support for autonomy and epistemological beliefs in predicting academic engagement among students. Methods: The research method was descriptive correlational. The statistical population of this study consisted of all students of Payame Noor University of Tabriz in the academic year of 2017-2018. Accor...
متن کاملA Physical-based Model of Permeability/Porosity Relationship for the Rock Data of Iran Southern Carbonate Reservoirs
The prediction of porosity is achieved by using available core and log data; however, the estimation of permeability is limited to the scare core data. Hence, porosity and saturation data through the framework of flow units can be used to make an estimation of reservoir permeability. The purpose of this study is to predict the permeability of a carbonate gas reservoir by using physical-based em...
متن کاملFinite Difference Method for Biaxial and Uniaxial Buckling of Rectangular Silver Nanoplates Resting on Elastic Foundations in Thermal Environments Based on Surface Stress and Nonlocal Elasticity Theories
In this article, surface stress and nonlocal effects on the biaxial and uniaxial buckling of rectangular silver nanoplates embedded in elastic media are investigated using finite difference method (FDM). The uniform temperature change is utilized to study thermal effect. The surface energy effects are taken into account using the Gurtin-Murdoch’s theory. Using the principle of virtual work, the...
متن کامل